package ua.gradsoft.jpee.e1;
public class Z3     
{
  public Z3 (int value){

      this.value=value%3;
          }
  public Z3 (ua.gradsoft.jpee.e1.Z3 z3){

      this.value=z3.value;
          }
  public int getValue()
    {
      return value;
    }
    
  public @java.lang.Operator(value="-")ua.gradsoft.jpee.e1.Z3 minus(ua.gradsoft.jpee.e1.Z3 x)
    {
      return new ua.gradsoft.jpee.e1.Z3(value-x.value);
    }
    
  public @java.lang.Operator(value="-=")ua.gradsoft.jpee.e1.Z3 minusAssign(ua.gradsoft.jpee.e1.Z3 x)
    {
      value=(value-x.value)%3;
    }
    
  public @java.lang.Operator(value="+")ua.gradsoft.jpee.e1.Z3 plus(ua.gradsoft.jpee.e1.Z3 x)
    {
      return new ua.gradsoft.jpee.e1.Z3(value+x.value);
    }
    
  public @java.lang.Operator(value="+=")ua.gradsoft.jpee.e1.Z3 plusAssign(ua.gradsoft.jpee.e1.Z3 x)
    {
      value=(value+x.value)%3;
    }
    
  private int value;
  
}

